Only fundament proposition is to be traditional categorical proposition, can socalled "antisyllogism" be valid. 所谓“反三段论”,只有当其中的基础命题为传统直言命题时才有效。
As for the transformational reasoning of categorical proposition, it is traditionally thought that Proposition A can only be replaced by Proposition I, Proposition O cannot be substituted. 对于直言命题的变形推理,传统上认为A命题只能换位为I命题,O命题不能换位。
Negative sentences in Chinese are corresponding to two kinds of different propositions in logic. They are categorical negative proposition and the negative proposition of compound proposition. 汉语的否定句对应于逻辑上直言否定命题和复合命题中的负命题两种不同类型的命题。
The implicative expressions of categorical syllogism that are more complicated than those of proposition indicate a kind of special implicative relation. D. 三段论蕴涵式比命题蕴涵式复杂,它表示一种特殊的蕴涵关系。
This paper carries out full analysis on Aristotle's theory on categorical proposition and points out that he introduced, for the first time in logic history, term variable, established opposition matrix, and laid basis for syllogism. 对亚里士多德的直言命题理论作了全面的分析,指出亚里士多德在逻辑史上第一次引进词项变元,建立了对当方阵,为三段论奠定了基础。
On the Existential Import of Categorical Proposition& A Systematic Thinking about an Old Problem 论直言命题的存在含义&对一个老问题的系统思考
Traditional categorical definition is a kind of proper method proposition that is applicable in a narrow scope, while definition methods in modern formal logic have wider applicable scope than the traditional formal logic. 传统的属加种差定义是一种传统的、适用面很窄的正则命题,当代形式逻辑中下定义方法比传统形式逻辑的覆盖面宽。
The deformed reasoning form "SAP → OP" in categorical proposition goes beyond the rule in traditional logic that non-distributive item in premise cannot distribute in conclusion. 直言命题变形推理形式“SAP→SOP”的成立,超出了传统逻辑理论中“前提中不周延的项在结论中不得周延”这一普遍规律的限制。
A Case Study of Deformed Reasoning in Categorical Proposition 直言命题变形推理特例分析
With the confirmation of homogeneous replacement of Propositions A, O, the replacement of categorical proposition should be the reasoning of homogenous equivalence. 随着A、O命题同质换位确定后,我们可以认为直言命题的换位推理应该是同质等值推理。
Reasoning of Homogeneous Equivalence Replacement of Categorical Proposition 直言命题的同质等值换位推理